binary decision diagram meaning in English
二元判定图
双择判定图
Examples
- A new binary decision diagram device and circuit
一种新型二元判定图器件和电路 - The study of ordered binary decision diagram and its constructing arithmetic
有序二叉判定图及其构造算法研究 - Binary decision diagram minimization algorithm based on genetic tabu hybrid strategy
基于遗传禁忌混合策略的二叉判定图最小化算法研究 - 1996 , 143 : 205 - 212 . 5 purwar s . an efficient method of computing generalized reed - muller expansions from binary decision diagram . in ieee trans
本文提出了将逻辑函数表示成真值矢量,用提出的积收缩,通用和收缩,消去和分解算符来收缩真值矢量的算法。 - 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。